Tobias Nipkow: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (21)
Most Popular
List
- List
- Table

1

Term Rewriting and All That

Term Rewriting and All That

Cambridge University Press

Franz Baader, Tobias Nipkow

Year:

1998

Language:

english

File:

PDF, 25.10 MB

0 / 5.0

english, 1998

2

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Springer-Verlag Berlin Heidelberg

Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)

Year:

2002

Language:

english

File:

PDF, 824 KB

0 / 0

english, 2002

3

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller

Year:

2008

Language:

english

File:

PDF, 1.73 MB

0 / 0

english, 2008

4

Functional Algorithms, Verified!

Functional Algorithms, Verified!

Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan

Year:

2021

Language:

english

File:

PDF, 1.21 MB

0 / 5.0

english, 2021

5

Term rewriting and all that

Term rewriting and all that

Cambridge University Press

Franz Baader, Tobias Nipkow

Year:

1998

Language:

english

File:

DJVU, 2.40 MB

0 / 0

english, 1998

6

Term Rewriting and All That

Term Rewriting and All That

Cambridge University Press

Franz Baader, Tobias Nipkow

Year:

1998

Language:

english

File:

DJVU, 2.19 MB

0 / 0

english, 1998

7

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones (auth.), Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)

Year:

2001

Language:

english

File:

PDF, 6.88 MB

0 / 0

english, 2001

8

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)

Year:

2006

Language:

english

File:

PDF, 6.76 MB

0 / 0

english, 2006

9

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)

Year:

2006

Language:

english

File:

PDF, 3.72 MB

0 / 0

english, 2006

10

Term Rewriting and All that

Term Rewriting and All that

Cambridge University Press

Franz Baader, Tobias Nipkow

Year:

1998

Language:

english

File:

PDF, 12.09 MB

0 / 0

english, 1998

11

Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

Springer International Publishing

Tobias Nipkow, Gerwin Klein (auth.)

Year:

2014

Language:

english

File:

PDF, 3.97 MB

0 / 0

english, 2014

12

Concrete Semantics with Isabelle/HOL

Concrete Semantics with Isabelle/HOL

Tobias Nipkow, Gerwin Klein

Year:

2017

Language:

english

File:

PDF, 1.55 MB

0 / 5.0

english, 2017

13

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), Jim Grundy, Malcolm Newey (eds.)

Year:

1998

Language:

english

File:

DJVU, 3.64 MB

0 / 0

english, 1998

14

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Olaf Müller, Tobias Nipkow (auth.), E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen (eds.)

Year:

1995

Language:

english

File:

DJVU, 2.30 MB

0 / 0

english, 1995

15

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)

Year:

1994

Language:

english

File:

DJVU, 2.66 MB

0 / 0

english, 1994

16

Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings

Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), John Hughes (eds.)

Year:

1991

Language:

english

File:

DJVU, 6.63 MB

0 / 0

english, 1991

17

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Henk Barendregt, Tobias Nipkow (eds.)

Year:

1994

Language:

english

File:

DJVU, 2.98 MB

0 / 0

english, 1994

18

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Year:

2009

Language:

english

File:

PDF, 5.50 MB

0 / 0

english, 2009

19

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

J. W. Klop (auth.), Tobias Nipkow (eds.)

Year:

1998

Language:

english

File:

DJVU, 2.95 MB

0 / 0

english, 1998

20

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Year:

2009

Language:

english

File:

PDF, 5.45 MB

0 / 0

english, 2009

21

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Year:

2009

Language:

english

File:

PDF, 4.74 MB

0 / 0

english, 2009